Publications of
Alexandre Niveau, Hélène Fargier, Cédric Pralet
Set-Labeled Diagrams for CSP Compilation (regular paper)
In : Starting AI Researcher’s Symposium (STAIRS 2012), Montpellier, 02/08/12, K. Kersting, M. Toussaint (Eds.), IOS Press, pp. 216-227, August 2012.
URL : http://www.irit.fr/publis/ADRIA/PapersFargier/stairs12.pdf
BibTeXAlexandre Niveau, Hélène Fargier, Cédric Pralet, Gérard Verfaillie
Knowledge Compilation Using Interval Automata and Applications to Planning (regular paper)
In : European Conference on Artificial Intelligence (ECAI 2010), Lisboa, 16/08/10-20/08/10, IOS Press, pp. 459-464, August 2010.
URL : http://www.irit.fr/publis/ADRIA/PapersFargier/ECAI10-NFPV.pdf
BibTeXFrédéric Minot, Jean-Paul Bodeveix, Mamoun Filali, David Doose, Charles Castel, Cédric Pralet, P. Bieber
Constraint-based design of Avionics platform- preliminary design exploration
In : European Congress on Embedded Real-Time Software (ERTS 2008), Toulouse, 31/01/08-01/02/08, Société de l’Electricité, de l’Electronique et des Technologies de l’Information et de la Communication (SEE), (electronic medium), January 2008.
Alexandre Niveau, Hélène Fargier, Cédric Pralet
Representing CSPs with Set-Labeled Diagrams: A Compilation Map.
In : Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers. Croitoru, Rudolph, Wilson, Howse, Corby (Eds.) , Springer, pp. 137-171, Vol. 7205, LNCS, 2012.